A Lotos Speciication of a Cscw Tool

CSCW systems provide computer mediated support for the collaboration of people working in a group. We investigate whether a speciication formalism for communicating processes can be used to describe the communicative aspects of these systems. Such a speciication should make the communication patterns evident and should allow for automatic generation of a computer program that implements it. In this paper we apply this approach on a simple example: we develop a lotos speciication of the CSCW tool We-Met and check whether the resulting speciica-tion meets the objectives above.